OPTIONS:
AUTO_HEADER=FALSE
AUTO_NEWLINE=FALSE
VARIABLES:
S1={0, 3 .. 11}
S2={0, 3 .. 11}
S3={0, 3 .. 12}

LOCAL_VARIABLES:
D_O3= S1*100*100 + S2*100 + S3
RULES:
S1=0 || S2=0 || S3=0
S1!=0 || S2!=0 || S3!=0
S1!=3

// Normal hold with kirsebær.
(S1!=0)+(S2!=0)+(S3!=0)=2 || (S1=0 && S2=3 && S3=0)
// Normal hold without kirsebær.
//(S1!=0)+(S2!=0)+(S3!=0)=2

OUTPUT_HEADER:
P_TOT=
OUTPUT:
${SOLUTION_NUMBER > 1:\[0#|1# + ]}${D_O3:\P#_}